Substructural logic - PDFSEARCH.IO - Document Search Engine

Substructural logic
Results: 34

#	Item
21	AG16 SOME NEWS ON SUBATOMIC LOGIC Alessio Guglielmi (TU Dresden and University of Bath[removed]After our experience with the calculus of structures (CoS) [WS], we Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:51 Non-classical logic Boolean algebra Substructural logic Logical connectives Negation Linear logic Rule of inference Modal logic Noncommutative logic Logic Mathematical logic Propositional calculus
22	A Non-commutative Extension of MELL Alessio Guglielmi and Lutz Straßburger Technische Universit¨at Dresden Fakult¨ at Informatik[removed]Dresden - Germany [removed] and Lutz.Strassburger@Inf. Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2005-12-02 04:44:23 Propositional calculus Substructural logic Logical truth Automated theorem proving Natural deduction Noncommutative logic Cut-elimination theorem Sequent calculus Sequent Logic Mathematical logic Proof theory
23	The Ynot Tutorial Adam Chlipala July 27, 2009 CHAPTER 1. INTRODUCTION Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Procedural programming languages Program logic Object-oriented programming Data types Separation logic Substructural logic Immutable object Pointer ALGOL 68 Software engineering Computing Computer programming
24	Mechanized Verification with Sharing Gregory Malecha Greg Morrisett Harvard University SEAS Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Data types Program logic Logic in computer science Separation logic Substructural logic Pointer Iterator Set Modal logic Software engineering Computing Computer programming
25	Possession as Linear Knowledge Frank Pfenning Carnegie Mellon University Pittsburgh, Pennsylvania, U.S.A. [removed] Epistemic logic analyzes reasoning governing localized knowledge, and is thus fundamental to multiag Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-05-18 11:34:24 Non-classical logic Mathematics Artificial intelligence Logic programming Substructural logic Epistemic modal logic Epistemology Frank Pfenning Linear logic Logic Branches of philosophy Science
26	Focus-preserving Embeddings of Substructural Logics in Intuitionistic Logic Jason Reed∗ University of Pennsylvania Philadelphia, Pennsylvania, USA Frank Pfenning Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-01-19 08:28:42 Proof theory Philosophical logic Deduction Propositional calculus Natural deduction Linear logic First-order logic Substructural logic Modal logic Logic Mathematical logic Non-classical logic
27	Models for Substructural Arithmetics Greg Restall School of Philosophy The University of Melbourne1 [removed] http://consequently.org/writing/mfsa Add to Reading List Source URL: consequently.org Language: English - Date: 2007-06-26 05:31:00 Model theory Non-classical logic Algebraic structures Equivalence relation Philosophical logic Congruence relation Peano axioms First-order logic Relevance logic Logic Mathematical logic Mathematics
28	Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5 Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2007-05-11 02:54:57 Non-classical logic Substructural logic Inference Philosophical logic Structural proof theory Sequent calculus Deep inference Sequent Kripke semantics Logic Mathematical logic Proof theory
29	PDF Document Add to Reading List Source URL: www.mi.sanu.ac.rs Language: English - Date: 2009-07-14 10:07:18 Propositional calculus Boolean algebra Substructural logic Philosophical logic Relevance logic Negation Intuitionistic logic Modal logic BL Logic Mathematical logic Non-classical logic